Integrating AADL and FMI to Extend Virtual Integration Capability

نویسندگان

  • Jérôme Hugues
  • Jean-Marie Gauthier
  • Raphaël Faudou
چکیده

Virtual Integration Capability is paramount to perform early validation of Cyber Physical Systems. The objective is to guide the systems engineer so as to ensure that the system under design meets multiple criteria through high-fidelity simulation. In this paper, we present an integration scheme that leverages the FMI (Functional Mock-Up interface) standard and the AADL architecture description language. Their combination allows for validation of systems combining embedded platform captured by the AADL, and FMI components that represent physical elements, either mechanical parts, or the environment. We present one approach, and demonstrator case studies.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelling Airborne Mission Systems using the Architecture Analysis and Design Language

One of the critical success factors for integration of a Defence system is a good architectural design. A right architecture can help ensure that a system will satisfy its key operational requirements as well as its quality attributes such as real-time performance, reliability, security, and maintainability. A bad architecture on the other hand is a recipe for disaster (Clements et. al. 2001). ...

متن کامل

The Story of AADL

5 years ago the SAE AS-2C subcommittee started to work on the Architecture Analysis & Design Language (AADL) standard. AADL was targeted to address issues in mission and safety critical software-reliant systems, aka. Cyberphysical systems. AADL addresses the increasing challenges of such systems the exponential increase in verification related software rework cost. Industry studies show that 70...

متن کامل

Using Temporal Isolation to Achieve Predictable Integration of Real-Time Components

We present the concept of a virtual node as means to achieve predictable integration of software components with real-time requirements. The virtual node is based on the technology using the hierarchical scheduling framework to achieve temporal isolation between components (or sets of components). The temporal isolation means that all components deployed to a virtual node will retain their temp...

متن کامل

Integration of dynamic pricing and overselling with opportunistic cancellation

Abstract   We extend the concept of dynamic pricing by integrating it with “overselling with opportunistic cancellation” option, within the framework of dynamic policy. Under this strategy, to sell a stock of perishable product (or capacity) two prices are offered to customers at any given time period. Customers are categorized as high-paying and low-paying ones. The seller deliberately oversel...

متن کامل

AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems

The Architecture Analysis and Design Language (AADL) is an SAE International Standard dedicated to the precise modeling of complex embedded systems, covering both hardware and software concerns. Its definition relies on a precise set of concepts inherited from industry and academics best practice: clear separation of concerns among layers, rich set of properties to document system metrics and s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1802.05620  شماره 

صفحات  -

تاریخ انتشار 2017